Designing deterministic polynomial-space algorithms by color-coding multivariate polynomials
نویسندگان
چکیده
منابع مشابه
Designing Deterministic Polynomial-Space Algorithms by Color-Coding Multivariate Polynomials∗
In recent years, several powerful techniques have been developed to design randomized polynomial-space parameterized algorithms. In this paper, we introduce an enhancement of color coding to design deterministic polynomial-space parameterized algorithms. Our approach aims at reducing the number of random choices by exploiting the special structure of a solution. Using our approach, we derive po...
متن کاملDeterministic Polynomial-Time Algorithms for Designing Short DNA Words
Designing short DNA words is a problem of constructing a set (i.e., code) of n DNA strings (i.e., words) with the minimum length such that the Hamming distance between each pair of words is at least k and the n words satisfy a set of additional constraints. This problem has applications in, e.g., DNA self-assembly and DNA arrays. Previous works include those that extended results from coding th...
متن کاملDeterministic Polynomial-Time Approximation Algorithms for Partition Functions and Graph Polynomials
In this paper we give a deterministic polynomial-time approximation algorithm for computing complex-valued evaluations of the Tutte polynomial and the independence polynomial on bounded degree graphs, as well for computing partition functions of complex-valued spin and edge-coloring models on bounded degree graphs. Our work builds on a recent line of work initiated by Barvinok [2, 3, 4, 5], whi...
متن کاملPolynomial Value Iteration Algorithms for Deterministic MDPs
Value iteration is a commonly used and empirically competitive method in solving many Markov decision process problems. However, it is known that value iteration has only pseudopolynomial complexity in general. We establish a somewhat surprising polynomial bound for value iteration on deterministic Markov decision (DMDP) problems. We show that the basic value iteration procedure converges to th...
متن کاملAlgorithms for Testing Monomials in Multivariate Polynomials
This paper is our second step towards developing a theory of testing monomials in multivariate polynomials. The central question is to ask whether a polynomial represented by an arithmetic circuit has some types of monomials in its sum-product expansion. The complexity aspects of this problem and its variants have been investigated in our first paper by Chen and Fu (2010), laying a foundation f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2018
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2018.01.004